1. Categorical methods in computer science : with aspects from topology
پدیدآورنده : H. Ehrig...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
رده :
QA
76
.
L28
Vol
.
393
2. Categorical methods in computer science : with aspects from topology
پدیدآورنده : H. Ehrig ... )et al.(, eds
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Computer science - Congresses,Categories )Mathematics( - Congresses,Topology - Congresses
رده :
QA
75
.
5C36
1989
3. Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
پدیدآورنده : Hans-Jorg Kreowski...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Formal methods )Computer science(,، Computer software,Design ، Computer systems
رده :
QA
76
.
L28
Vol
.
3393
4. Graph-grammars and their application to computer science :
پدیدآورنده : H. Ehrig ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing-- Congresses.,Graph grammars-- Congresses.
رده :
QA267
.
3
.
G68
1987
5. Graph-grammars and their application to computer science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986: Proceedings
پدیدآورنده : H. Ehrig...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Graph grammars,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
291
6. Graph grammars and their application to computer science : 6th international workshop, Paderborn, Germany, November 16-20, 1998 : selected papers
پدیدآورنده : Hartmut Ehrig... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Graph grammars,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1764
7. Graph transformations
پدیدآورنده : / Hartmut Ehrig ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Graph grammars, Congresses,Computer science, Congresses
رده :
E-BOOK
8. Graph transformations : second International Conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings
پدیدآورنده : Hartmut Ehrig...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Graph grammars,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
3256
9. Recent trends in data type specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990 : proceedings 1990
پدیدآورنده : H. Ehrig ... ]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
534
10. Unifying Petri nets : advances in Petri nets
پدیدآورنده : Hartmut Ehrig...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Petri nets
رده :
QA
76
.
L28
Vol
.
2128
